package ptij.verifier.test.grammar;

import ptolemy.actor.*;
import ptolemy.kernel.*;
import ptolemy.kernel.util.*;

public class Ret1 extends AtomicActor {

   public Ret1(CompositeEntity container, String name) throws
           NameDuplicationException, IllegalActionException {
       super(container, name);
   }

   public void fire() throws IllegalActionException {   

       do {
       
          int x, y, z;
	  
	  x = 3;
	  y = 24;
	  z = 23;
	  
	  if(x + y - 2*z == 23) {
	   return;
	  }

       } while(true);

   }
   
}
